ایدآل های قوی، ایدآل های به طور قوی اولیه، دامنه های شبه ارزیاب و دامنه های مساعد

ایدآل p از r با میدان کسرهای k را ایدآل اول به طور قوی نما می نامیم هرگاه برای هر دو عنصر x,y از k از این کهxyp زیرمجموعه ی ایدآل p باشد نتیجه دهد که توان صحیحی از x در r قرار دارد یا توانی از yp زیر مجموعه ی p باشد. این ایدآل منجر به تعریف دامنه ی ارزه نمای به طور تقریبی می شود که این دامنه شبه موضعی است. اگر این دامنه های معرفی شده نوتری باشند آن گاه بعد آن ها برابر با یک می باشد. از طرفی با توجه به ساختمان d+m دامنه های ارزه نمای به طور تقریبی معرفی می نماییم. هم چنین دامنه ای که دارای ایدآل قوی (به طور قوی ابتدایی) باشند، دامنه ی مساعد هستند.